The Cohen–Lenstra heuristic: Methodology and results

The Cohen–Lenstra heuristic: Methodology and results

Article history: Received 3 December 2009 Available online 27 January 2010 Communicated by Gunter Malle

PARKBENCH: Methodology, Relations and Results

An Improved Standard Cell Placement Methodology using Hybrid Analytic and Heuristic Techniques

In recent years, size of VLSI circuits is dramatically grown and layout generation of current circuits has become a dominant task in design flow. Standard cell placement is an effective stage of physical design and quality of placement affects directly on the performance, power consumption and signal immunity of design. Placement can be performed analytically or heuristically. Analytical placer...

Anytime Heuristic Search: First Results

The Efficacy of RUE Resolution Experimental Results and Heuristic Theory

We p r e s e n t and a n a l y s e e x p e r i m e n t a l r e s u l t s i n t h e f i r s t e x t e n s i v e use o f a theo rem p r o v e r based o n R e s o l u t i o n b y U n i f i c a t i o n and E q u a l i t y . I m p l i c i t use i s made o f e q u a l i t y ax ioms b y t h e I n f e r e n c e r u l e s RUE and NRF to a c h i e v e i n c i s i v e r e f u t a t i o n s f o r E u n s a...